Отношение полного порядка

Если отношение линейного порядка $\le$ на множестве $A$ удовлетворяет условию минимальности: * $\le$ называется **отношением полного порядка** * $(A, \le)$ называется **вполне упорядоченным множеством**